Memory barrier - PDFSEARCH.IO - Document Search Engine

Memory barrier
Results: 152

#	Item
131	The Semantics of x86-CC Multiprocessor Machine Code Susmit Sarkar1 Scott Owens1 Tom Ridge1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 18:04:35 Computer memory Assembly languages Low-level programming language MOV X86 Spinlock Memory barrier Memory ordering Parallel computing Computer architecture Computing X86 architecture
132	An Axiomatic Memory Model for POWER Multiprocessors Sela Mador-Haim1 Luc Maranget2 Susmit Sarkar3 Kayvan Memarian3 Jade Alglave4 Scott Owens3 Rajeev Alur1 Milo M.K. Martin1 Peter Sewell3 Derek Williams5 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-10-12 10:22:46 Computer memory Compiler construction Concurrency Programming language design Compilers Memory barrier Parallel computing Memory ordering Central processing unit Computing Software engineering Computer architecture
133	Multithreaded semantics for Java Overview The Semantics of Multithreaded Java Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 1999-09-22 11:29:01 Computer memory Object-oriented programming Icelandic language Old English language Memory barrier Eth Java Memory Model Memory model Volatile variable Computing Software engineering Cross-platform software
134	Implementing OO Languages under a Weak Memory Order William Pugh∗, Univ. of Maryland, College Park, [removed] Shared Memory Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2000-01-03 14:40:04 Cross-platform software Computer memory Data types Java Memory Model Java platform Memory barrier Garbage collection Pointer Type safety Computing Software engineering Computer programming
135	JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 12, 2004, 6:15pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Spe Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-04-12 18:16:57 Java Memory Model Lock Memory barrier Monitor Memory model Deadlock Thread Volatile variable Java virtual machine Computing Concurrency control Software engineering
136	JSR-133: JavaTM Memory Model and Thread Specification Proposed Final Draft April 23, 2004, 12:57pm This document is the proposed final draft version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Sp Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-04-23 12:58:08 Java Memory Model Memory barrier Lock Memory model Monitor Deadlock Thread Volatile variable Linearizability Computing Concurrency control Software engineering
137	Thread 1 Thread 2 1: r2 = A; 3: r1 = B 2: B = 1; 4: A = 2 May return r2 == 2, r1 == 1 Figure 1: Behaves Surprisingly Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-01 21:43:05 Double-checked locking Volatile variable Java Memory Model Thread safety Lock Memory model Critical section Linearizability Memory barrier Concurrency control Computing Software engineering
138	May 12th description of final fields For each execution, the behavior of reads is influenced by two additional partial orders, dereference chain dc mc (→), and memory chain ( →) which are considered to be part of the Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-05-14 15:27:32 Computer memory Memory barrier
139	JSR-133: JavaTM Memory Model and Thread Specification February 2, 2004, 2:05pm This document is the public review version of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specifica Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2004-02-02 14:07:05 Java Memory Model Lock Memory barrier Memory model Monitor Thread Deadlock Volatile variable Java virtual machine Computing Concurrency control Software engineering
140	JSR-133: JavaTM Memory Model and Thread Specification This document is the community review draft of the JSR-133 specification, the Java Memory Model (JMM) and Thread Specification. This specification is intended to be p Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2003-08-08 11:08:03 Java Memory Model Lock Memory barrier Memory model Monitor Volatile variable Linearizability Deadlock Thread Computing Concurrency control Software engineering